منابع مشابه
TEXmacs as Authoring Tool for Formal Developments
We present an authoring tool for publication and dissemination of formal theories certified by a proof assistant. We have used TeXmacs, a ”wysiwyg” editor for scientific documents which allows a connection with symbolic systems and we evaluate this tool on our formal developments certified using Coq.
متن کاملAn Authoring Tool for Informal and Formal Requirements Specifications
We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-di...
متن کاملChoreoGraphics: An Authoring Tool for Dance Shows
This work describes a computer system for authoring dance shows. The system can be used both as a mechanism to synthesize virtual group performances and as a tool for interactive design and visualization of real choreographies. To this end, we use as input motion capture of dance sequences that are synchronized with an underlying musical composition. We adapt motion synthesis methods for use in...
متن کاملGentler: a tool for systematic web authoring
We argue, with theoretical justification, that authoring hypertext and World Wide Web documents requires tool support if it is to be done well. Tools are essential for good design; without them iterative design and user testing are impractical to follow through because of the prohibitive costs of making even small changes reliably. Gentler is one such authoring tool. It uses a database of pages...
متن کامل3DbyStep: A Tool For Authoring 3D Presentations
This work presents, 3DbyStep, an interactive authoring tool for developing 3D training contents. The application is able to combine text, pictures, sound and 3D models in an integrated environment. The produced contents is suitable for using as a standard presentation and also as a means to support self-study in the sense that it can be navigated interactively in a non-linear fashion. 3DbyStep ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.09.012